Holomorphic anomaly equations and the Igusa cusp form conjecture

Let $S$ be a K3 surface and let $E$ be an elliptic curve. We solve the reduced Gromov-Witten theory of the Calabi-Yau threefold $S \times E$ for all curve classes which are primitive in the K3 factor. In particular, we deduce the Igusa cusp form conjecture. The proof relies on new results in the Gromov-Witten theory of elliptic curves and K3 surfaces. We show the generating series of Gromov-Witten classes of an elliptic curve are cycle-valued quasimodular forms and satisfy a holomorphic anomaly equation. The quasimodularity generalizes a result by Okounkov and Pandharipande, and the holomorphic anomaly equation proves a conjecture of Milanov, Ruan and Shen. We further conjecture quasimodularity and holomorphic anomaly equations for the cycle-valued Gromov-Witten theory of every elliptic fibration with section. The conjecture generalizes the holomorphic anomaly equations for ellliptic Calabi-Yau threefolds predicted by Bershadsky, Cecotti, Ooguri, and Vafa. We show a modified conjecture holds numerically for the reduced Gromov-Witten theory of K3 surfaces in primitive classes.Comment: 68 page

Melting Crystal, Quantum Torus and Toda Hierarchy

Searching for the integrable structures of supersymmetric gauge theories and topological strings, we study melting crystal, which is known as random plane partition, from the viewpoint of integrable systems. We show that a series of partition functions of melting crystals gives rise to a tau function of the one-dimensional Toda hierarchy, where the models are defined by adding suitable potentials, endowed with a series of coupling constants, to the standard statistical weight. These potentials can be converted to a commutative sub-algebra of quantum torus Lie algebra. This perspective reveals a remarkable connection between random plane partition and quantum torus Lie algebra, and substantially enables to prove the statement. Based on the result, we briefly argue the integrable structures of five-dimensional $\mathcal{N}=1$ supersymmetric gauge theories and $A$-model topological strings. The aforementioned potentials correspond to gauge theory observables analogous to the Wilson loops, and thereby the partition functions are translated in the gauge theory to generating functions of their correlators. In topological strings, we particularly comment on a possibility of topology change caused by condensation of these observables, giving a simple example.Comment: Final version to be published in Commun. Math. Phys. . A new section is added and devoted to Conclusion and discussion, where, in particular, a possible relation with the generating function of the absolute Gromov-Witten invariants on CP^1 is commented. Two references are added. Typos are corrected. 32 pages. 4 figure

A Matrix model for plane partitions

We construct a matrix model equivalent (exactly, not asymptotically), to the random plane partition model, with almost arbitrary boundary conditions. Equivalently, it is also a random matrix model for a TASEP-like process with arbitrary boundary conditions. Using the known solution of matrix models, this method allows to find the large size asymptotic expansion of plane partitions, to ALL orders. It also allows to describe several universal regimes.Comment: Latex, 41 figures. Misprints and corrections. Changing the term TASEP to self avoiding particle porces

Supersymmetric Gauge Theories, Intersecting Branes and Free Fermions

We show that various holomorphic quantities in supersymmetric gauge theories can be conveniently computed by configurations of D4-branes and D6-branes. These D-branes intersect along a Riemann surface that is described by a holomorphic curve in a complex surface. The resulting I-brane carries two-dimensional chiral fermions on its world-volume. This system can be mapped directly to the topological string on a large class of non-compact Calabi-Yau manifolds. Inclusion of the string coupling constant corresponds to turning on a constant B-field on the complex surface, which makes this space non-commutative. Including all string loop corrections the free fermion theory is elegantly formulated in terms of holonomic D-modules that replace the classical holomorphic curve in the quantum case.Comment: 67 pages, 6 figure